$\forall$$L$:$\mathbb{Z}$ List. 0$<\parallel$$L$$\parallel$ $\Rightarrow$ imax{-}list($L$) $\in$ $\mathbb{Z}$